Lecture notes based on Foundations of Mathematical Economics c ⃝ 2001

Topics in Logic and Foundations: Spring 2004

This is a set of lecture notes from a 15-week graduate course at the Penn-sylvania State University taught as Math 574 by Stephen G. Simpson in Spring 2004. The course was intended for students already familiar with the basics of mathematical logic. The course covered some topics which are important in contemporary mathematical logic and foundations but usually omitted from introductory courses...

Ultraproducts, the Compactness Theorem and Applications

This is a set of lecture notes used in a course on model theory at Virginia Commonwealth University (Math 591 Topics: Logic and Mathematical Structures), which I taught jointly with Sean Cox in the spring of 2014. Most of the material contained in these notes can be found in the following sources. References: • Chang and Keisler. Model Theory, Studies in Logic and the Foundations of Mathematics...

Foundations of Sequence Analysis Lecture notes for a course in the Winter Semester 2000/2001

Toward Industrial Strength Abstract State Machines?

A powerful practical ASM language, called AsmL, is being developed in Microsoft Research by the group on Foundations of Software Engineering. AsmL extends the language of original ASMs in a number of directions. We describe some of these extensions. ? This paper was supposed to appear in the Proceedings of the ASM'01 Workshop held in February 2001 on the Canary Islands. The Proceedings were sup...

Homotopy Type Theory: Univalent Foundations of Mathematics

These lecture notes are based on and partly contain material from the HoTT book and are licensed under Creative Commons Attribution-ShareAlike 3.0.